在高级语言中，“形式语言与自动机理论”一般被划分到以下哪种形态（）答案: 理论